“School of Computer Science”

Back to Papers Home
Back to Papers of School of Computer Science

Paper   IPM / Computer Science / 10881
School of Computer Science
  Title:   Integrating Module Checking and Deduction in a Formal Proof for the Perlman Spanning Tree Protocol
  Author(s): 
1.  H. Hojjat
2.  H. Nakhost
3.  M. Sirjani
  Status:   Published
  Journal: Journal of Universal Computer Science
  No.:  13
  Vol.:  13
  Year:  2007
  Pages:   2076-2104
  Supported by:  IPM
  Abstract:


Download TeX format
back to top
scroll left or right